Trait isotope::term::TermEq[][src]

pub trait TermEq {
    fn eq_in(
        &self,
        other: &Self,
        ctx: &mut impl TermEqCtxMut + ?Sized
    ) -> Option<bool>; }
Expand description

Objects which may be determined equivalent by terms

Required methods

Compare this value to another within a given context

Implementations on Foreign Types

Implementors